[next] [prev] [prev-tail] [tail] [up]

Integrals 1001 to 1100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 125 51 0 0 0 34 0 0

N.S.

1 1.00 0.41 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.060 10.017 0.000 0.000 0.000 0.774 0.000 0.000

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 87 108 152 218 39 0 0

N.S.

1 1.00 0.84 1.05 1.48 2.12 0.38 0.00 0.00

time (sec)

N/A 0.029 0.529 4.902 0.296 0.276 1.131 0.000 0.000

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 74 85 101 179 39 0 0

N.S.

1 1.00 0.96 1.10 1.31 2.32 0.51 0.00 0.00

time (sec)

N/A 0.023 0.370 4.531 0.291 0.440 0.652 0.000 0.000

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 73 85 82 0 41 0 40

N.S.

1 1.00 1.00 1.16 1.12 0.00 0.56 0.00 0.55

time (sec)

N/A 0.022 0.279 4.441 0.292 0.000 0.629 0.000 5.682

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 68 0 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 3.24 0.00 0.81

time (sec)

N/A 0.004 0.183 4.244 0.191 0.290 0.460 0.000 5.792

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 42 28 35 38 109 0 37

N.S.

1 1.00 0.95 0.64 0.80 0.86 2.48 0.00 0.84

time (sec)

N/A 0.008 0.220 4.286 0.211 0.291 0.663 0.000 5.889

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 53 39 52 49 520 0 73

N.S.

1 1.00 0.78 0.57 0.76 0.72 7.65 0.00 1.07

time (sec)

N/A 0.015 0.232 4.448 0.189 0.303 0.985 0.000 6.082

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 53 50 69 60 847 0 93

N.S.

1 1.00 0.58 0.54 0.75 0.65 9.21 0.00 1.01

time (sec)

N/A 0.028 0.237 4.404 0.207 0.282 1.468 0.000 6.405

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 150 105 0 0 0 39 0 0

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.055 8.169 0.000 0.000 0.000 0.740 0.000 0.000

Problem 1010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 126 93 0 0 0 39 0 0

N.S.

1 1.00 0.74 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.042 7.509 0.000 0.000 0.000 0.612 0.000 0.000

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 102 62 0 0 0 39 0 0

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.033 7.324 0.000 0.000 0.000 0.505 0.000 0.000

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 46 0 0 0 37 0 37

N.S.

1 1.00 0.58 0.00 0.00 0.00 0.46 0.00 0.46

time (sec)

N/A 0.023 7.104 0.000 0.000 0.000 0.466 0.000 5.746

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 82 51 0 0 0 31 0 0

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.024 10.013 0.000 0.000 0.000 0.534 0.000 0.000

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 104 51 0 0 0 31 0 0

N.S.

1 1.00 0.49 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.050 10.014 0.000 0.000 0.000 0.661 0.000 0.000

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 128 51 0 0 0 46 0 0

N.S.

1 1.00 0.40 0.00 0.00 0.00 0.36 0.00 0.00

time (sec)

N/A 0.050 10.017 0.000 0.000 0.000 0.783 0.000 0.000

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 51 0 0 0 46 0 0

N.S.

1 1.00 0.34 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.057 10.014 0.000 0.000 0.000 1.009 0.000 0.000

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 61 58 81 68 136 163 66

N.S.

1 1.00 0.60 0.57 0.80 0.67 1.35 1.61 0.65

time (sec)

N/A 0.044 0.065 4.155 0.201 0.267 1.380 0.299 5.414

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 50 47 64 57 110 134 55

N.S.

1 1.00 0.62 0.59 0.80 0.71 1.38 1.68 0.69

time (sec)

N/A 0.034 0.050 4.178 0.202 0.264 0.934 0.290 5.706

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 39 36 47 46 87 106 44

N.S.

1 1.00 0.66 0.61 0.80 0.78 1.47 1.80 0.75

time (sec)

N/A 0.026 0.045 4.178 0.238 0.268 0.647 0.280 5.600

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 39 25 30 35 65 78 33

N.S.

1 1.00 1.03 0.66 0.79 0.92 1.71 2.05 0.87

time (sec)

N/A 0.017 0.040 4.141 0.219 0.255 0.418 0.269 5.563

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 39 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 2.17 0.78 0.78

time (sec)

N/A 0.006 0.022 4.152 0.222 0.269 0.205 0.274 5.642

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 70 73 71 126 44 185 50

N.S.

1 1.00 1.00 1.04 1.01 1.80 0.63 2.64 0.71

time (sec)

N/A 0.033 0.084 4.195 0.275 0.274 0.682 0.290 5.637

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 75 86 74 185 39 209 55

N.S.

1 1.00 1.00 1.15 0.99 2.47 0.52 2.79 0.73

time (sec)

N/A 0.033 0.169 4.471 0.274 0.289 0.754 0.305 5.787

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 92 108 125 210 41 243 79

N.S.

1 1.00 0.91 1.07 1.24 2.08 0.41 2.41 0.78

time (sec)

N/A 0.053 0.226 4.318 0.273 0.284 1.310 0.330 5.887

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 95 0 0 0 29 0 0

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.19 0.00 0.00

time (sec)

N/A 0.070 8.543 0.000 0.000 0.000 0.791 0.000 0.000

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 125 64 0 0 0 29 0 0

N.S.

1 1.00 0.51 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.061 8.496 0.000 0.000 0.000 0.658 0.000 0.000

Problem 1027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 51 0 0 0 29 0 0

N.S.

1 1.00 0.52 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.042 7.745 0.000 0.000 0.000 0.557 0.000 0.000

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 51 0 0 0 32 0 0

N.S.

1 1.00 0.52 0.00 0.00 0.00 0.33 0.00 0.00

time (sec)

N/A 0.041 10.020 0.000 0.000 0.000 0.551 0.000 0.000

Problem 1029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 125 51 0 0 0 34 0 0

N.S.

1 1.00 0.41 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.057 10.015 0.000 0.000 0.000 0.667 0.000 0.000

Problem 1030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 51 0 0 0 34 0 0

N.S.

1 1.00 0.34 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.083 10.017 0.000 0.000 0.000 0.835 0.000 0.000

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 109 146 225 245 39 0 0

N.S.

1 1.00 0.73 0.98 1.51 1.64 0.26 0.00 0.00

time (sec)

N/A 0.044 0.584 4.394 0.283 0.271 18.992 0.000 0.000

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 98 126 189 234 39 0 0

N.S.

1 1.00 0.78 1.01 1.51 1.87 0.31 0.00 0.00

time (sec)

N/A 0.033 0.519 4.372 0.276 0.283 3.623 0.000 0.000

Problem 1033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 87 106 148 215 39 0 0

N.S.

1 1.00 0.86 1.05 1.47 2.13 0.39 0.00 0.00

time (sec)

N/A 0.023 0.439 4.332 0.295 0.278 1.181 0.000 0.000

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 75 84 102 188 37 0 37

N.S.

1 1.00 1.00 1.12 1.36 2.51 0.49 0.00 0.49

time (sec)

N/A 0.014 0.330 4.332 0.317 0.270 0.710 0.000 5.681

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 75 90 85 0 42 0 0

N.S.

1 1.00 1.00 1.20 1.13 0.00 0.56 0.00 0.00

time (sec)

N/A 0.015 0.278 4.285 0.304 0.000 0.712 0.000 0.000

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 68 0 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 3.24 0.00 0.81

time (sec)

N/A 0.004 0.185 4.226 0.201 0.358 0.597 0.000 5.806

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 28 35 38 110 0 56

N.S.

1 1.00 0.70 0.64 0.80 0.86 2.50 0.00 1.27

time (sec)

N/A 0.008 0.215 4.404 0.200 0.311 0.850 0.000 6.013

Problem 1038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 42 39 52 49 520 0 73

N.S.

1 1.00 0.62 0.57 0.76 0.72 7.65 0.00 1.07

time (sec)

N/A 0.014 0.242 4.322 0.233 0.293 1.325 0.000 6.245

Problem 1039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 53 50 69 60 847 0 93

N.S.

1 1.00 0.58 0.54 0.75 0.65 9.21 0.00 1.01

time (sec)

N/A 0.021 0.272 4.397 0.250 0.322 1.950 0.000 6.339

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 150 96 0 0 0 39 0 0

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.059 8.949 0.000 0.000 0.000 0.835 0.000 0.000

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 126 64 0 0 0 39 0 0

N.S.

1 1.00 0.51 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.047 8.607 0.000 0.000 0.000 0.690 0.000 0.000

Problem 1042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 99 51 0 0 0 39 0 0

N.S.

1 1.00 0.52 0.00 0.00 0.00 0.39 0.00 0.00

time (sec)

N/A 0.034 8.726 0.000 0.000 0.000 0.552 0.000 0.000

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 97 49 0 0 0 41 0 40

N.S.

1 1.00 0.51 0.00 0.00 0.00 0.42 0.00 0.41

time (sec)

N/A 0.037 10.015 0.000 0.000 0.000 0.571 0.000 5.887

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 99 51 0 0 0 31 0 0

N.S.

1 1.00 0.52 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.039 10.014 0.000 0.000 0.000 0.678 0.000 0.000

Problem 1045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 126 51 0 0 0 31 0 0

N.S.

1 1.00 0.40 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.042 10.016 0.000 0.000 0.000 0.820 0.000 0.000

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 150 51 0 0 0 46 0 0

N.S.

1 1.00 0.34 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.054 10.014 0.000 0.000 0.000 1.031 0.000 0.000

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 61 58 81 79 156 71 75

N.S.

1 1.00 0.60 0.57 0.80 0.78 1.54 0.70 0.74

time (sec)

N/A 0.058 0.061 4.421 0.199 0.464 1.999 0.280 5.670

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 50 47 64 68 134 57 64

N.S.

1 1.00 0.62 0.59 0.80 0.85 1.68 0.71 0.80

time (sec)

N/A 0.033 0.058 4.237 0.207 0.279 1.382 0.319 5.606

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 39 36 47 57 110 43 53

N.S.

1 1.00 0.66 0.61 0.80 0.97 1.86 0.73 0.90

time (sec)

N/A 0.025 0.044 4.333 0.200 0.266 0.941 0.284 5.634

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 28 25 30 45 85 29 42

N.S.

1 1.00 0.74 0.66 0.79 1.18 2.24 0.76 1.11

time (sec)

N/A 0.017 0.041 4.352 0.205 0.324 0.635 0.304 5.603

Problem 1051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 32 61 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.78 3.39 0.78 0.78

time (sec)

N/A 0.003 0.020 4.190 0.193 0.295 0.340 0.294 5.584

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 79 82 79 127 48 200 64

N.S.

1 1.00 0.95 0.99 0.95 1.53 0.58 2.41 0.77

time (sec)

N/A 0.041 0.107 4.408 0.273 0.279 0.954 0.290 5.707

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 81 88 89 167 42 221 70

N.S.

1 1.00 0.89 0.97 0.98 1.84 0.46 2.43 0.77

time (sec)

N/A 0.043 0.204 4.406 0.274 0.308 1.003 0.308 6.097

Problem 1054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 89 108 120 195 41 232 77

N.S.

1 1.00 0.91 1.10 1.22 1.99 0.42 2.37 0.79

time (sec)

N/A 0.043 0.243 4.372 0.288 0.400 1.205 0.303 6.378

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 146 81 0 0 0 29 0 0

N.S.

1 1.00 0.55 0.00 0.00 0.00 0.20 0.00 0.00

time (sec)

N/A 0.072 9.011 0.000 0.000 0.000 0.999 0.000 0.000

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 122 69 0 0 0 29 0 0

N.S.

1 1.00 0.57 0.00 0.00 0.00 0.24 0.00 0.00

time (sec)

N/A 0.057 8.859 0.000 0.000 0.000 0.826 0.000 0.000

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 52 0 0 0 29 0 0

N.S.

1 1.00 0.53 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.038 8.315 0.000 0.000 0.000 0.646 0.000 0.000

Problem 1058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 52 0 0 0 32 0 0

N.S.

1 1.00 0.53 0.00 0.00 0.00 0.33 0.00 0.00

time (sec)

N/A 0.040 10.016 0.000 0.000 0.000 0.697 0.000 0.000

Problem 1059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 52 0 0 0 34 0 0

N.S.

1 1.00 0.53 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.042 10.016 0.000 0.000 0.000 0.756 0.000 0.000

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 122 52 0 0 0 34 0 0

N.S.

1 1.00 0.43 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.056 10.016 0.000 0.000 0.000 1.010 0.000 0.000

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 146 52 0 0 0 34 0 0

N.S.

1 1.00 0.36 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.073 10.015 0.000 0.000 0.000 1.272 0.000 0.000

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 111 122 229 247 39 0 0

N.S.

1 1.00 0.75 0.82 1.55 1.67 0.26 0.00 0.00

time (sec)

N/A 0.050 0.631 4.599 0.286 0.283 10.277 0.000 0.000

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 100 128 191 228 39 0 0

N.S.

1 1.00 0.81 1.03 1.54 1.84 0.31 0.00 0.00

time (sec)

N/A 0.036 0.539 4.565 0.279 0.285 2.433 0.000 0.000

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 91 108 144 200 39 0 0

N.S.

1 1.00 0.91 1.08 1.44 2.00 0.39 0.00 0.00

time (sec)

N/A 0.026 0.480 4.382 0.289 0.283 1.036 0.000 0.000

Problem 1065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 86 94 119 0 41 0 40

N.S.

1 1.00 0.91 1.00 1.27 0.00 0.44 0.00 0.43

time (sec)

N/A 0.025 0.455 4.419 0.281 0.000 1.030 0.000 6.464

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 81 93 97 0 46 0 0

N.S.

1 1.00 0.88 1.01 1.05 0.00 0.50 0.00 0.00

time (sec)

N/A 0.025 0.349 4.452 0.275 0.000 1.033 0.000 0.000

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 35 105 0 17

N.S.

1 1.00 1.00 0.86 0.81 1.67 5.00 0.00 0.81

time (sec)

N/A 0.004 0.238 4.467 0.195 0.312 0.791 0.000 6.003

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 28 35 49 148 0 71

N.S.

1 1.00 0.70 0.64 0.80 1.11 3.36 0.00 1.61

time (sec)

N/A 0.008 0.288 4.434 0.190 0.334 1.152 0.000 6.296

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 42 39 52 60 609 0 91

N.S.

1 1.00 0.62 0.57 0.76 0.88 8.96 0.00 1.34

time (sec)

N/A 0.014 0.329 4.455 0.197 0.315 1.772 0.000 7.000

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 53 50 69 71 954 0 111

N.S.

1 1.00 0.58 0.54 0.75 0.77 10.37 0.00 1.21

time (sec)

N/A 0.026 0.375 4.491 0.197 0.327 2.528 0.000 7.406

Problem 1071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

171 171 89 0 0 0 39 0 0

N.S.

1 1.00 0.52 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.064 9.466 0.000 0.000 0.000 1.234 0.000 0.000

Problem 1072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

147 147 76 0 0 0 39 0 0

N.S.

1 1.00 0.52 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.054 9.372 0.000 0.000 0.000 0.942 0.000 0.000

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

123 123 67 0 0 0 39 0 0

N.S.

1 1.00 0.54 0.00 0.00 0.00 0.32 0.00 0.00

time (sec)

N/A 0.040 8.886 0.000 0.000 0.000 0.727 0.000 0.000

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 97 47 0 0 0 37 0 37

N.S.

1 1.00 0.48 0.00 0.00 0.00 0.38 0.00 0.38

time (sec)

N/A 0.028 8.483 0.000 0.000 0.000 0.602 0.000 5.582

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 99 52 0 0 0 42 0 0

N.S.

1 1.00 0.53 0.00 0.00 0.00 0.42 0.00 0.00

time (sec)

N/A 0.030 10.013 0.000 0.000 0.000 0.674 0.000 0.000

Problem 1076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 101 52 0 0 0 31 0 0

N.S.

1 1.00 0.51 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.039 10.014 0.000 0.000 0.000 0.819 0.000 0.000

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 125 52 0 0 0 31 0 0

N.S.

1 1.00 0.42 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.042 10.014 0.000 0.000 0.000 1.052 0.000 0.000

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 52 0 0 0 46 0 0

N.S.

1 1.00 0.35 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.051 10.014 0.000 0.000 0.000 1.377 0.000 0.000

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 89 106 143 198 37 0 37

N.S.

1 1.00 0.93 1.10 1.49 2.06 0.39 0.00 0.39

time (sec)

N/A 0.021 0.477 4.517 0.290 0.259 1.098 0.000 5.601

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 61 58 81 57 116 71 58

N.S.

1 1.00 0.60 0.57 0.80 0.56 1.15 0.70 0.57

time (sec)

N/A 0.043 0.048 4.224 0.200 0.393 0.896 0.282 5.759

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 50 47 64 46 92 57 48

N.S.

1 1.00 0.62 0.59 0.80 0.58 1.15 0.71 0.60

time (sec)

N/A 0.033 0.042 4.340 0.205 0.252 0.598 0.281 5.788

Problem 1082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 39 36 47 35 68 43 36

N.S.

1 1.00 0.66 0.61 0.80 0.59 1.15 0.73 0.61

time (sec)

N/A 0.028 0.038 4.214 0.230 0.258 0.388 0.301 5.728

Problem 1083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 28 25 30 24 44 29 26

N.S.

1 1.00 0.74 0.66 0.79 0.63 1.16 0.76 0.68

time (sec)

N/A 0.017 0.033 4.363 0.190 0.273 0.269 0.287 5.701

Problem 1084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 22 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.22 0.78 0.78

time (sec)

N/A 0.003 0.017 4.387 0.193 0.258 0.090 0.270 5.653

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 48 61 57 83 37 186 36

N.S.

1 1.00 0.87 1.11 1.04 1.51 0.67 3.38 0.65

time (sec)

N/A 0.024 0.062 4.401 0.286 0.268 0.543 0.278 5.760

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 78 85 92 194 39 219 58

N.S.

1 1.00 1.00 1.09 1.18 2.49 0.50 2.81 0.74

time (sec)

N/A 0.034 0.158 4.576 0.271 0.277 0.768 0.279 5.838

Problem 1087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 92 108 128 218 39 244 82

N.S.

1 1.00 0.88 1.04 1.23 2.10 0.38 2.35 0.79

time (sec)

N/A 0.046 0.191 4.337 0.277 0.262 1.628 0.280 5.946

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 91 0 0 0 27 0 0

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.18 0.00 0.00

time (sec)

N/A 0.070 7.747 0.000 0.000 0.000 0.747 0.000 0.000

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 128 80 0 0 0 27 0 0

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.21 0.00 0.00

time (sec)

N/A 0.055 7.383 0.000 0.000 0.000 0.577 0.000 0.000

Problem 1090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 104 64 0 0 0 27 0 0

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.039 7.114 0.000 0.000 0.000 0.492 0.000 0.000

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 74 51 0 0 0 27 0 0

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.36 0.00 0.00

time (sec)

N/A 0.027 6.943 0.000 0.000 0.000 0.448 0.000 0.000

Problem 1092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 104 51 0 0 0 31 0 0

N.S.

1 1.00 0.49 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.039 10.017 0.000 0.000 0.000 0.491 0.000 0.000

Problem 1093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 128 51 0 0 0 32 0 0

N.S.

1 1.00 0.40 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.055 10.025 0.000 0.000 0.000 0.614 0.000 0.000

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 51 0 0 0 32 0 0

N.S.

1 1.00 0.34 0.00 0.00 0.00 0.21 0.00 0.00

time (sec)

N/A 0.071 10.015 0.000 0.000 0.000 0.756 0.000 0.000

Problem 1095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 87 106 151 225 37 0 0

N.S.

1 1.00 0.84 1.02 1.45 2.16 0.36 0.00 0.00

time (sec)

N/A 0.025 0.461 4.532 0.291 0.256 1.525 0.000 0.000

Problem 1096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 73 83 108 201 37 0 0

N.S.

1 1.00 0.94 1.06 1.38 2.58 0.47 0.00 0.00

time (sec)

N/A 0.017 0.357 4.399 0.298 0.256 0.708 0.000 0.000

Problem 1097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 76 65 68 106 36 0 37

N.S.

1 1.00 1.33 1.14 1.19 1.86 0.63 0.00 0.65

time (sec)

N/A 0.009 0.041 4.276 0.285 0.255 0.509 0.000 5.705

Problem 1098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 31 0 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 1.48 0.00 0.81

time (sec)

N/A 0.003 0.199 4.270 0.195 0.235 0.397 0.000 5.653

Problem 1099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 28 35 27 70 0 36

N.S.

1 1.00 0.70 0.64 0.80 0.61 1.59 0.00 0.82

time (sec)

N/A 0.008 0.228 4.306 0.195 0.253 0.567 0.000 5.779

Problem 1100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 42 39 52 38 406 0 56

N.S.

1 1.00 0.62 0.57 0.76 0.56 5.97 0.00 0.82

time (sec)

N/A 0.014 0.265 4.347 0.203 0.246 0.892 0.000 5.807

[next] [prev] [prev-tail] [front] [up]